Computational resources for identifying and describing proteins driving liquid–liquid phase separation

Towards an Ontology for Describing Archival Resources

Several digital libraries and archives are emerging around the world due to the need to store, organize and make available on the Web a lot of resource collections. However, managing this information poses new challenges in order to overcome traditional data management and information browsing. Semantic Web technologies can improve digital libraries and archives by facilitating metadata storage...

Existence results for di use interface models describing phase separation and damage

a framework for identifying and prioritizing factors affecting customers’ online shopping behavior in iran

the purpose of this study is identifying effective factors which make customers shop online in iran and investigating the importance of discovered factors in online customers’ decision. in the identifying phase, to discover the factors affecting online shopping behavior of customers in iran, the derived reference model summarizing antecedents of online shopping proposed by change et al. was us...

Fairness, Resources, and Separation

Fair interleaving plays a fundamental rôle in denotational semantic models for shared-memory parallel programs, beginning with Park’s trace semantics, based on a fairmerge relation designed so that (α, β, γ) ∈ fairmerge if and only if γ can be obtained by interleaving α and β. Park’s formulation of fairmerge used nested greatest and least fixed points of monotone functions over traces, but he r...

Computational resources for metabolomics

Metabolomics, a comprehensive extension of traditional targeted metabolite analysis, has recently attracted much attention as the biological jigsaw puzzle’s missing piece that can complement transcriptome and proteome analysis. This tutorial survey introduces practical web resources with special emphasis on the computational aspects involved in processing and navigating metabolome data. The int...